pub trait Sealed {
  to_int() -> Int
}